Autori: Lehnherr David
| Naslov | A logic of interactive proofs (Article) |
| Autori | Lehnherr David Ognjanovic Zoran D  Studer Thomas
|
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2022), vol. 32 br. 8, str. 1645-1658 |
| Projekat | Science Fund of the Republic of Serbia project AI4TrustBC; Swiss National Science Foundation [200020_184625] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
